منابع مشابه
Interference automata
We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate the increase in power, in terms of language recognition, of a classical Deter-ministic Finite Automaton (DFA) when endowed with the facility of optical interference.] wherein the classical DFA is augmented with a quantum...
متن کاملNon - Interference Control Synthesis for Security Timed Automata 1 Guillaume
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Automata, is addressed for the first time. We first discuss a notion of non interference for dense real-time systems that refines notions existing in the literature and investigate decidability issues raised by the verif...
متن کاملAutomata Modeling for Cognitive Interference in Users' Relevance Judgment
Quantum theory has recently been employed to further advance the theory of information retrieval (IR). A challenging research topic is to investigate the so called quantum-like interference in users’ relevance judgment process, where users are involved to judge the relevance degree of each document with respect to a given query. In this process, users’ relevance judgment for the current documen...
متن کاملNon-Interference Control Synthesis for Security Timed Automata
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Automata, is addressed for the first time. We first discuss a notion of non interference for dense real-time systems that refines notions existing in the literature and investigate decidability issues raised by the verif...
متن کاملInterference in laboratory tests
Interference in clinical laboratory testing can create discrepancies in test results which can lead to patient harm. In clinical chemistry, interference is defined as a cause of medically significant difference in the measurand test result due to another component or property of the sample. Interference by endogenous and exogenous substances with assays for clinical analytes is a common prob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2008
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2008.05.006